-
1 генерирование условий верификации
Большой англо-русский и русско-английский словарь > генерирование условий верификации
-
2 verification condition generation
Большой англо-русский и русско-английский словарь > verification condition generation
-
3 verification condition generation
English-Russian dictionary of computer science and programming > verification condition generation
-
4 verification condition generation
Вычислительная техника: генерирование условий верификации (при доказательстве правильности программ)Универсальный англо-русский словарь > verification condition generation
См. также в других словарях:
СОЦИОЛОГИЯ НАУКИ — отрасль социологии, изучающая Н. ( Наука) своеобразную сферу человеческой творческой деятельности, назначение которой выработка, накопление и теоретическая систематизация научного знания, а также его использование в практической деятельности.… … Социология: Энциклопедия